This is TeX, WAITS Version 2.0 (preloaded format=plain 86.2.9)  24 JUL 1986 13:33
**BIOJMC.TEX
(BIOJMC.TEX[1,JMC] [1] [2]
Overfull \hbox (10.57909pt too wide) in paragraph at lines 59--61, p.4
[]\tenbf McCarthy, John (1962)\tenrm : ``Com-puter Pro-grams for Check-ing Math-
e-mat-i-cal Proofs'',

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\hbox(0.0+0.0)x0.0
.\tenbf M
.\tenbf c
.\tenbf C
.\tenbf a
.etc.

[3] [4] [5]
Output written on BIOJMC.DVI[1,JMC] (5 pages, 16928 bytes).